Mathematics of program construction
- Författare
- International Conference on the Mathematics of Program Construction 1992) Oxford : Jim Woodcock C. Carroll Morgan Richard Bird
- (Second International Conference, Oxford, U.K., June 22 - July 3, 1992 : proceedings R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.).)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | cop. 1993 | Tyskland, Berlin, New York | 378 sidor. |